'''
Created on Aug 19, 2011

@author: nktran
'''
import os
from angluin import *
from constant import *
from angluin_v2 import Angluin_V2

if __name__ == '__main__':
    alg = Angluin_V2('a2')
    
    if QUERY_FILE + alg.__ext__ in os.listdir("."):
        os.remove(QUERY_FILE + alg.__ext__)
    if FSA_FILE + alg.__ext__ in os.listdir("."):
        os.remove(FSA_FILE + alg.__ext__)
    if TABLE_FILE + alg.__ext__ in os.listdir("."):
        os.remove(TABLE_FILE + alg.__ext__)
                      
    alg.learn()
    
